
public class HorlogeLamport {

    private int compteur;
    private Process process;

    public HorlogeLamport(Process _process) {
        this.process = _process;
        this.compteur = 0;
    }

    public void incrementeHorloge() {
        compteur++;
    }

    public void incrementeHorloge(int valeur) {
        compteur = Math.max(compteur, valeur) + 1;
    }

    public int getCompteur() {
        return this.compteur;
    }
}
